all:
	g++ -O3 incremental-cryptominisat.cpp -o incremental-cryptominisat -lcryptominisat4
	g++ -O3 incremental-cryptominisat-binary.cpp -o incremental-cryptominisat-binary -lcryptominisat4
